Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
601	Possibilist Quantification Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2010-12-02 05:18:40 Philosophical logic Possibility Model theory Predicate logic Actualism Modal realism Possible world Kripke semantics Interpretation Logic Mathematical logic Modal logic
602	Safe Formulas in the General Theory of Stable Models (Preliminary Report) Joohyung Lee1 , Vladimir Lifschitz2 , and Ravi Palla1 1 2 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2008-09-10 19:37:33 Predicate logic Model theory Logical syntax Formal languages First-order logic Interpretation Stable model semantics Function Well-formed formula Logic Mathematical logic Mathematics
603	Absolute Identity and Absolute Generality Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:45 Predicate logic Model theory Semantics Philosophical logic Formal languages First-order logic Interpretation Function Identity Logic Mathematical logic Mathematics
604	Philos Stud[removed]:407–441 DOI[removed]s11098[removed]Recurrence Nathan Salmon Add to Reading List Source URL: www.jimpryor.net Language: English - Date: 2012-12-08 09:30:00 Predicate logic Analytic philosophers Metaphysicians Mathematical logic Saul Kripke Nathan Salmon Free variables and bound variables Mereology Equivalence relation Logic Mathematics Philosophy
605	Differential Dynamic Logic for Verifying Parametric Hybrid Systems? Andr´e Platzer University of Oldenburg, Department of Computing Science, Germany Carnegie Mellon University, Computer Science Department, Pittsburgh, P Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:08:59 Model theory Predicate logic Logical truth Formal languages Symbol First-order logic Substitution Interpretation KeY Logic Mathematical logic Propositional calculus
606	Event Readings of Numeral NPs Gianina Iord˘achioaia (University of T¨ubingen) Introduction NPs with a numeral specifier have been argued to have both an object-related (OR) and an eventrelated (ER) reading. The two rea Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2010-11-22 10:35:20 Logic Parts of speech Theoretical computer science Quantification Generative linguistics Head-driven phrase structure grammar Predicate Noun Syntax Linguistics Grammar Semantics
607	A Formal Approach to Linking Logical Form and Vector-Space Lexical Semantics Dan Garrette, Katrin Erk, and Raymond Mooney Abstract First-order logic provides a powerful and flexible mechanism for representing natural lan Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-12 20:53:04 Propositional calculus Logical consequence Model theory Inference First-order logic Predicate Function Entailment Vector space model Logic Philosophical logic Semantics
608	1 Should we be Pluralists about Truth? Max Kölbel, final draft[removed]Pluralism about truth can take several forms: first, it might be the claim that the truth predicate expresses several truth concepts, and secondly Add to Reading List Source URL: www.ub.edu Language: English - Date: 2012-10-26 11:31:10 Philosophy of language Philosophical logic Kantianism Ontology Thought Concept Schema A priori and a posteriori Epistemology Philosophy Cognition Science
609	4 Valueless Truth ∗ PAOLO L EONARDI By means of the predicate ‘is true’ we monitor our use of language, thereby claiming truth for, or denying it to, what we say or are said.1 For instance, we monitor what we say b Add to Reading List Source URL: www.unige.ch Language: English - Date: 2014-11-07 16:16:06 Philosophical logic Philosophy of language Semantics Theories of truth Logical syntax Truth Meaning Tractatus Logico-Philosophicus Predicate Logic Philosophy Analytic philosophy
610	1 Relativism 2: Semantic Content Max Kölbel (ICREA/Logos, Universitat de Barcelona) (Final version as delivered to PhilCompass typesetters 26 August[removed]Abstract: In the pair of articles of which this is the second, Add to Reading List Source URL: www.ub.edu Language: English - Date: 2014-09-25 12:35:37 Semantics Predicate logic Grammar Predicate Function Quantification Contextualism Pragmatics Intensional logic Logic Mathematical logic Mathematics

UPDATE